| Run with best incumbent | examples/spear_qcp_small/example_output_1 | Cutoff | 5 |
| # Train instances | 10 | Walltime budget | 50 |
| # Test instances | 10 | Runcount budget | inf |
| # Parameters | 26 | CPU budget | inf |
| Deterministic | False |
| Default | Incumbent | |
|---|---|---|
| -------------- Changed parameters: -------------- | ----- | ----- |
| sp-clause-activity-inc | 1 | 1.03619 |
| sp-clause-decay | 1.4 | 1.80047 |
| sp-clause-del-heur | 2 | 0 |
| sp-first-restart | 100 | 503 |
| sp-learned-clause-sort-heur | 0 | 5 |
| sp-learned-clauses-inc | 1.3 | 1.44637 |
| sp-learned-size-factor | 0.4 | 0.212442 |
| sp-orig-clause-sort-heur | 0 | 2 |
| sp-phase-dec-heur | 5 | 4 |
| sp-rand-var-dec-freq | 0.001 | 0.005 |
| sp-resolution | 1 | 0 |
| sp-restart-inc | 1.5 | 1.44486 |
| sp-use-pure-literal-rule | 1 | 0 |
| sp-var-activity-inc | 1 | 1.38284 |
| sp-var-dec-heur | 0 | 8 |
| sp-variable-decay | 1.4 | 1.39724 |
| sp-max-res-lit-inc | 1 | inactive |
| sp-max-res-runs | 4 | inactive |
| sp-rand-phase-dec-freq | 0.001 | 0.0001 |
| sp-rand-var-dec-scaling | 1 | 0.370268 |
| sp-res-cutoff-cls | 8 | inactive |
| sp-res-cutoff-lits | 400 | inactive |
| sp-res-order-heur | 0 | inactive |
| sp-rand-phase-scaling | 1 | 1.04195 |
| -------------- Unchanged parameters: -------------- | ----- | ----- |
| sp-update-dec-queue | 1 | 1 |
| Default | Incumbent | |||
|---|---|---|---|---|
| Train | Test | Train | Test | |
| PAR10 | 0.026 | 0.02 | 0.016 | 0.012 |
| PAR1 | 0.026 | 0.02 | 0.016 | 0.012 |
| Timeouts | 0/10 | 0/10 | 0/10 | 0/10 |
| sp-learned-clause-sort-heur | 0.312033 | sp-max-res-runs | 9.023046e-04 |
| sp-var-dec-heur | 0.122467 | sp-rand-phase-dec-freq | 7.976202e-04 |
| sp-rand-phase-scaling | 0.092026 | sp-update-dec-queue | 7.964530e-04 |
| sp-phase-dec-heur | 0.085080 | sp-var-activity-inc | 4.988348e-04 |
| sp-first-restart | 0.070298 | sp-max-res-lit-inc | 3.837252e-04 |
| sp-rand-var-dec-freq | 0.040454 | sp-variable-decay | 1.841154e-04 |
| sp-orig-clause-sort-heur | 0.033207 | sp-clause-del-heur | 1.595092e-04 |
| sp-res-order-heur | 0.022571 | sp-learned-size-factor | 1.477523e-04 |
| sp-learned-clauses-inc | 0.003439 | sp-clause-activity-inc | 6.968939e-05 |
| sp-restart-inc | 0.002229 | sp-resolution | 2.733555e-05 |
| sp-res-cutoff-cls | 0.001871 | sp-res-cutoff-lits | 1.110707e-05 |
| sp-rand-var-dec-scaling | 0.001768 | sp-clause-inversion | 3.614020e-09 |
| sp-clause-decay | 0.001036 | sp-use-pure-literal-rule | 0.000000e+00 |
